La transformation de Fourier portative

De la transformation de prédicats à la transformation de programmes

Les transformateurs de prédicats ont été introduits par Dijkstra et ont permis de fonder la théorie des preuves de programmes et la théorie de l’affinement des systèmes d’actions. Ce texte analyse le lien existant entre les transformateurs de prédicats et les systèmes d’actions affinés. Les hypothèses d’équité sont prises en compte et une uniformisation de la présentation permet de démontrer le...

Spécificité de la transformation sarcomateuse de la maladie de Recklinghaussen: a propos de deux cas et revue de la littérature

5 à 10% des patients atteints de neurofibromatose de type 1 (NF1) développent des tumeurs malignes des gaines des nerfs périphériques (Malignant peripheral nerve sheath tumor: MPNST) contre 0.001% dans la population générale. A travers deux observations et une revue de la littérature nous discuterons la spécificité de la transformation sarcomateuse au cours de la neurofibromatose de type 1. Pan...

Etude sur la digestion pancratique de la caseine pour la production de la toxine tetanique

Description de Hyalomma dromedarii (Koch 1844) Morphologie de la larve et de la nymphe

Inversion numérique de la transformation de Laplace-Carson